Sound refactorings

Sound Object Model Refactorings

Refactorings are usually proposed in an ad hoc way because it is hard to guarantee their soundness with respect to a formal semantics. Usually, even using refactoring tools, developers have to rely on compilation and tests in order to improve their confidence that semantics is preserved, which may not be satisfactory to critical software development. We propose a set of semantics-preserving tra...

Formalization of Architectural Refactorings

Making Software Refactorings Safer

Refactorings often require that non-trivial semantic correctness conditions are met. IDEs such as Eclipse’s Java Development Tools rely on simpler, static precondition checks for refactorings. This leads to the phenomenon that a seemingly innocuous refactoring can change the behavior of the program. In this thesis we demonstrate our technique of introducing runtime checks of two particular refa...

Generic Model Refactorings

Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritance. However, model transformations such as refactorings specified for a given language cannot be readily reused for another language because their related metamodels may be structurally different. Our aim is to enable...

Static composition of refactorings

The number of possible refactorings is unlimited, so no tool vendor will ever be able to provide custom refactorings for all specific user needs. Therefore, we propose a new kind of refactoring tools, which allow users to create, edit and and compose required refactorings just like any other documents. The heart of such a refactoring editor is the ability to compose larger refactorings from exi...